Systembeschreibung


Systembeschreibung
f описание с. системы; справочное руководство с.

Neue große deutsch-russische Wörterbuch Polytechnic. 2014.

Смотреть что такое "Systembeschreibung" в других словарях:

  • Systemtheorie (Ingenieurwissenschaften) — Der Begriff der Systemtheorie wird in verschiedenen wissenschaftlichen Disziplinen angewendet und hat in Bezug auf den Primärbegriff System keine einheitliche Bedeutung. Systeme können sich als physikalische, ökologische, ökonomische, soziale… …   Deutsch Wikipedia

  • Zustandsraumdarstellung — Die Zustandsraumdarstellung ist eine von mehreren bekannten Formen der Systembeschreibung eines dynamischen Übertragungssystems. Die Überführung einer systembeschreibenden Differenzialgleichung mit n Ableitungen der Ausgangsgröße y(t) und m… …   Deutsch Wikipedia

  • Model Checking — (deutsch auch Modellprüfung) ist ein Verfahren zur vollautomatischen Verifikation einer Systembeschreibung (Modell) gegen eine Spezifikation (Formel). Der Begriff ist motiviert durch die mathematische Formulierung des Problems: Für eine gegebene… …   Deutsch Wikipedia

  • Modelchecking — Model Checking (deutsch auch Modellprüfung) ist ein Verfahren zur vollautomatischen Verifikation einer Systembeschreibung (Modell) gegen eine Spezifikation (Formel). Der Begriff ist motiviert durch die mathematische Formulierung des Problems: Für …   Deutsch Wikipedia

  • Modellprüfer — Model Checking (deutsch auch Modellprüfung) ist ein Verfahren zur vollautomatischen Verifikation einer Systembeschreibung (Modell) gegen eine Spezifikation (Formel). Der Begriff ist motiviert durch die mathematische Formulierung des Problems: Für …   Deutsch Wikipedia

  • Modellprüfung — Model Checking (deutsch auch Modellprüfung) ist ein Verfahren zur vollautomatischen Verifikation einer Systembeschreibung (Modell) gegen eine Spezifikation (Formel). Der Begriff ist motiviert durch die mathematische Formulierung des Problems: Für …   Deutsch Wikipedia

  • Modellprüfverfahren — Model Checking (deutsch auch Modellprüfung) ist ein Verfahren zur vollautomatischen Verifikation einer Systembeschreibung (Modell) gegen eine Spezifikation (Formel). Der Begriff ist motiviert durch die mathematische Formulierung des Problems: Für …   Deutsch Wikipedia

  • Paketquelle — Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung. Ein Repository (engl. für deutsch: Lager, Depot), auch Repositorium …   Deutsch Wikipedia

  • Paketquellen — Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung. Ein Repository (engl. für deutsch: Lager, Depot), auch Repositorium …   Deutsch Wikipedia

  • Projektarchiv — Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung. Ein Repository (engl. für deutsch: Lager, Depot), auch Repositorium …   Deutsch Wikipedia

  • Aulay MacAulay — (* vor 1747; † nach 1756; genaue Lebensdaten unbekannt) aus England entwickelte und erfand ein Stenografiesystem, das unter dem Verfassernamen in die Kurzschriftgeschichte einging. Über sein Leben außerhalb seines stenografischen Wirkens sind… …   Deutsch Wikipedia